Section: New Software and Platforms

COSYMA: Controller synthesis using multi-scale abstractions

Functional Description

CoSyMA is a tool for automatic controller synthesis for incrementally stable switched systems based on multi-scale discrete abstractions. The tool accepts as input a switched system defined by differential equations indexed by a set of modes, time and space sampling parameters used to define an approximation of the continuous state-space, and a safety or a time-bounded reachability specification. CoSyMA computes and refines discrete abstractions of the state space so as to generate a controller, if one exists, for the system that enforces the specification.

• Authors: Antoine Girard, Gregor Gössler, and Sebti Mouelhi.

• Partner: LJK.

• Contact: Gregor Gössler.